 |
0 索取号:TP302/E994 作者:Clymer、 John R.、 出版社:Englewood Cliffs, N.J. : Prentice Hall, 1990.
|  |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
 |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|  |
0 索取号:O24-53/E803/13 作者:ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、 出版社:New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
|
 |
0 索取号:TP30-53/E901 作者:COMNET '85 (1985 : Budapest、 Hungary)、Csaba、 ĹАszĺО、 1935-、Tarnay、 Katie、 1933-、Szentiv́Аnyi、 T.、International Federation for Information Processing. Technical Committee 6.、 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Publishers, 1986.
|  |
0 索取号:TP30-53/E801 作者: 出版社:[New York : Institute of Electrical and Electronics Engineers], 1976.
|
 |
0 索取号:TP312-53/E901/1979 作者:Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|  |
0 索取号:TP3-55/E804 作者: 出版社:Berlin ; New York : Springer-Verlag, 1979.
|
 |
0 索取号:TP3-53/E8014/1978 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、 出版社:Berlin ; New York : Springer-Verlag, 1978.
|  |
0 索取号:TP3-53/E8014/1977 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|
 |
0 索取号:TP312-53/E801/1975 作者:Symposium on Methods for the Implementation of Algorithmic Languages、 Novosibirsk、 1975.、Ershov、 A. P. (AndrĕИ Petrovich)、Koster、 C. H. A. (Cornelis H. A.)、 1943-、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|  |
0 索取号:TP312/E8015 作者: 出版社:Berlin ; New York : Springer-Verlag, 1976.
|
 |
0 索取号:TP3-53/E8018/4 作者:Informatik Symposium (4th : 1974 : Wildbad im Schwarzwald、 Ger.)、Hackl、 Clemens E.、IBM Deutschland.、IBM World Trade Corporation.、 出版社:Berlin ; New York : Springer-Verlag, 1975.
|  |
0 索取号:TP3-53/E996/1991.2 作者:International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、 出版社:Berlin ; New York : Springer-Verlag, 1991-
|
 |
0 索取号:TP3-53/E996/1991.1 作者:International Joint Conference on Theory and Practice of Software Development (4th : 1991 : Brighton、 England)、Abramsky、 Samson、 1953-、Maibaum、 Thomas S. E.、 出版社:Berlin ; New York : Springer-Verlag, 1991-
|  |
0 索取号:TP3-53/E9035/1983 作者:Symposium on Security and Privacy (1983 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、 出版社:N.Y. Silver Spring, MD : IEEE Computer Society Press, 1983,c1984.
|